$\forall$$a$, $b$:$\mathbb{Z}$, $n$:$\mathbb{N}^{+}$. (($n$ $\ast$ $a$) $\leq$ ($n$ $\ast$ $b$)) $\Rightarrow$ ($a$ $\leq$ $b$)